#include<stdio.h>
void main()
{
 int x;
 scanf("%d",&x);
 if(x%5==0&&x%7==0)
 
	 printf("*yes*\n");
 else printf("*no*\n");
 

	 



}
